//
//  instr.cpp
//  ltlbmc
//
//  Created by GD Huang on 7/5/12.
//  Copyright (c) 2012 __MyCompanyName__. All rights reserved.
//

#include <iostream>
#include "instr.h"

namespace cilast {
    
    int instr::accept(astVisitor* visitor) {
        return visitor->visit(this);
    }
    
    int Set::accept(astVisitor* visitor) {
        return visitor->visit(this);
    }
    
    int Call::accept(astVisitor* visitor) {
        return visitor->visit(this);
    }
    
    int Asm::accept(astVisitor* visitor) {
        return visitor->visit(this);
    }
}